21. Logic Functions and Equations
پدیدآورنده : \ Bernd Steinbach , Christian Posthoff
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer logic.,Computer science -- Mathematics. ,Combinatory logic.,منطق کامپیوتری ,علوم کامپیوتر -- ریاضیات
رده :
E-Book
,
22. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
23. Recursive programing techniques
پدیدآورنده :
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Recursive programming.,Combinatory logic.
24. Recursive programming techniques
پدیدآورنده : Burge, William H.
موضوع : ، Recursive programming,، Combinatory logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
25. Recursive programming techniques
پدیدآورنده : / William H. Burge
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive programming,Combinatory logic
رده :
001
.
642
B945r
26. Recursive programming techniques
پدیدآورنده : Burge, William H
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursive programming,، Combinatory logic
رده :
QA
76
.
6
.
B87
27. The Combinatory programme
پدیدآورنده : / edited by Erwin Engeler
کتابخانه: Central Library and Document Center of Arak University (Markazi)
موضوع : Combinatory logic
رده :
511
.
3
C731
28. The combinatory programme
پدیدآورنده : Erwin Engeler ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Combinatory logic
رده :
QA
9
.
5
.
C62
